Tag
6 articles
OpenAI's announcement of solving a Millennium Prize problem has sparked excitement and debate within academia, highlighting AI's growing role in mathematical discovery. The breakthrough raises important questions about the future of research and verification in mathematics.
Learn about the Navier-Stokes problem - a 90-year-old mathematical challenge about fluid movement that OpenAI claims to have solved using AI. This explains why it matters for everyday life and how AI is helping solve complex problems.
OpenAI's GPT-5.6 Sol Pro reportedly disproved a 30-year-old statistics conjecture in just 90 minutes, a feat that stumped human researchers for decades.
Anthropic's Claude Mythos has reportedly solved OpenAI's landmark Erdős unit-distance conjecture with a 'cute, simple proof,' signaling a major advancement in AI-driven mathematical discovery.
An OpenAI model has solved the 80-year-old unit distance problem in discrete geometry, disproving a major conjecture and marking a significant milestone in AI-driven mathematics.
OpenAI claims to have solved a 75-year-old geometry conjecture using its advanced reasoning model, with mathematicians who previously doubted its work now backing the solution.
